En logique mathématique, une formule atomique ou atome est une formule qui ne contient pas de sous-formules propres. La structure d`une formule atomique dépend de la logique considérée, p. ex. en logique des propositions, les formules atomiques sont les variables propositionnelles.